a -> b -> c